退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一次零检验的模型检验矢量加法系统
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc;
机译:向量加法系统的位置有界性(一次零检验)
机译:向量周期自回归时间序列模型的建模和诊断检查
机译:具有零测试的矢量加法系统的LTL判定性
机译:将类型检查与模型检查相结合以进行系统验证
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:具有一个零测试的模型检查矢量添加系统
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
机译:一种用于声学模型训练的方法,其中包括语音训练数据,过程数据的强制对齐以及获得估计的散射矩阵的散射矩阵,使中间类别和内部对角化矩阵倾斜以及在中间类别Terna和估计特征向量中倾斜,以获得新功能使用判别向量训练新的声学模型,以保存模型,方法和系统以进行声学模型训练
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。